#pragma once

enum ProcessingType {CNF, DNF};

